101. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
102. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
103. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
104. Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
پدیدآورنده : edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1977
105. Closure Spaces and Logic
پدیدآورنده : by Norman M. Martin, Stephen Pollard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
106. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
107. Combinatorial Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
108. Combinatorial algorithms :
پدیدآورنده : Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
109. Computational artifacts :
پدیدآورنده : Raymond Turner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
167
110. Computer Mathematics
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
111. Conceptual models in mathematics: sets, logic and probability
پدیدآورنده : Hirst, Keith Edwin.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
248
.
H55
112. Direct and converse theorems
پدیدآورنده : I. S. Gradshtein ; translated from the Russian by T. Boddington.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Axioms.,Logic, Symbolic and mathematical.,Set theory.
113. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
114. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
115. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
116. Elements of logic and foundations of mathematics in problems
پدیدآورنده :
موضوع : Logic, Symbolic and mathematical,Set theory
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
117. Elements of logic and foundations of mathematics in problems, Elementy logiki i teorii mnogosci w zadaniach. English
پدیدآورنده : Marek, Wiktor.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
M31913
1982
118. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
119. Elements of mathematical logic and set theory
پدیدآورنده : Slupecki, Jerzy
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
120. Elements of mathematical logic and set theory
پدیدآورنده : Slupecki, Jerzy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
S517
1967
